Modelling Algebraic Structures with Prolog Extended Abstract of Full Paper for Cant'95
نویسندگان
چکیده
This paper presents a novel technique of using Prolog with never instantiated variables to manipulate a range of algebraic structures. The paper argues that Prolog is a powerful and underrated tool for use in computational number theory. A detailed example is presented in this extended abstract, and several in the full paper, showing the advantages of using this technique. The detailed example is an application of higher dimensional category theory which has been used for solving problems in this area.
منابع مشابه
Use of Prolog for developing a new programming language
This paper describes how Prolog was used for the development of a new concurrent realtime symbolic programming language called Erlang. Erlang was developed by rst building a prototype in Prolog the prototype was used by a user group to test their reactions to the language. As time passed many features were added (and removed) from the interpreter and eventually the language reached a level of m...
متن کاملPlam: ProLog and Algebraic Modelling
Algebraic modelling is an important technique in practical applications that require to formulate and to solve a mathematical programming problem. We show how the basic functionality of algebraic modelling systems can be realised very easily in a logic programming system like Prolog. Moreover, we illustrate the additional power of using logic programming in cases where the built-in constructs o...
متن کاملSource Code Verification for Embedded Systems using Prolog
System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST). Tree structures can be elegantly analyzed with the logic programming language Prolog. Moreover, Prolog offers further advantages for a thorough analysis: On the one hand, it natively provi...
متن کاملModular Structures as Dependent Types in Isabelle
This paper describes a method of representing algebraic structures in the theorem prover Isabelle. We use Isabelle's higher order logic extended with set theoretic constructions. Dependent types, constructed as HOL sets, are used to represent modular structures by semantical embedding. The modules remain rst class citizen of the logic. Hence, they enable adequate formalization of abstract algeb...
متن کاملRough ideals based on ideal determined varieties
The paper is devoted to concern a relationship between rough set theory and universal algebra. Notions of lower and upper rough approximations on an algebraic structure induced by an ideal are introduced and some of their properties are studied. Also, notions of rough subalgebras and rough ideals with respect to an ideal of an algebraic structure, which is an extended notion of subalgebras and ...
متن کامل